Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-10-16
2007-10-16
An, Meng-Al T. (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
Reexamination Certificate
active
10248287
ABSTRACT:
Source code is compiled using a multi-stage compiler that includes a tokenizer, a type checker, and a composer. The tokenizer segments source code into a sequence of tagged segments. The source code includes at least one instruction that composes a first abstraction and a second abstraction with a selected composition operator. The parser builds a tree using the sequence of tagged segments. The type checker performs a first pass of the tree to determine whether abstractions on the tree are well typed. The composer reduces the at least one instruction composing the first and the second abstractions on the tree to a third abstraction. The composer substitutes the first and the second abstractions on the tree with the third abstraction, wherein the type checker performs a second pass of the tree to determine whether the third abstraction is well typed.
REFERENCES:
patent: 4075689 (1978-02-01), Berkling
patent: 5911072 (1999-06-01), Simonyi
patent: 6314562 (2001-11-01), Biggerstaff
patent: 6473895 (2002-10-01), Lopes et al.
patent: 6594783 (2003-07-01), Dollin et al.
patent: 6966054 (2005-11-01), Simonyi
L. Cardelli and P. Wegner. On understanding data types, data abstraction, and polymorphism. ACM Computing Surveys, 17:471-522, Dec. 1985.
Circus-DTE Factsheet, available on the Internet at http://alphaave.com/staging/Xerox/Circus-DTE/tutorial/factsheet.pdf, in 2002.
Circus-DTE Tutorial, available on the Internet at http://alphaave.com/staging/Xerox/Circus-DTE/tutorial/tutorial.pdf in 2002.
J. Magee, J. Kramer, and N. Dullay, Darwin/mp: An environnement for parallel and distributed programming. Proceedings of 26th HICSS, vol. II (Software Technology), Jan. 1993.
R. Milner. Operational and Algebraic Semantic of Concurrent Processes, vol. 2, chapter Chap. 19, Handbook of Theoretical computer Science. Elsevier Science Publishers B.V., 1990.
G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Sciences Dept, Arhus university, Denmark, 1981.(Available on the Internet at http://www.dcs.ed.ac.uk/home/gdp/publications/).
M. Shaw. Procedure calls are the assembly language of systems interconnection: Connectors deserve first-class statues. Proceedings of the Workshop on Studies of Software Design, May 1993.
Eugene Shcherbatyuk, “A language extension for programming abstractions without objects”, Oct. 29, 2001, published on the Internet at http://www.modulaware.com/mdlt/mdlt84.htm.
“Towards the Clarification of the Object-Oriented Concepts”, available on the Internet at http://www.doc.mmu.ac.uk/STAFF/J.Gray/oopslandg/aoblnts/intro/OOPCONCP.HTM, in 2002.
U.S. Appl. No. 10/046,314, entitled “Symmetrical Structural Pattern Matching”.
U.S. Appl. No. 10/046,191, entitled “Bi-Valuation Of Programming Statements”.
An Meng-Al T.
Roche Trenton J.
LandOfFree
Program compiler with abstraction composer does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Program compiler with abstraction composer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Program compiler with abstraction composer will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3877848